1561. Minds And Computers An Introduction To The Philosophy Of Artificial Intelligence
پدیدآورنده : / Matt Carter
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : هوش مصنوعی, Artificial intelligence,Philosophy of mind
رده :
Q335
.
C3
1562. Model Checking and Artificial Intelligence
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Artificial intelligence ; Congresses. ; K?nstliche Intelligenz ; Model Checking ; Kongress ; Patras <2008> ; Model Checking. ; swd. ;
1563. Model Checking and Artificial Intelligence
پدیدآورنده : / Georg Smaus-Ron Meyden, Jan
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1564. Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
پدیدآورنده : / Georg Smaus (eds.)-Hector Geffner (auth.), Ron van der Meyden, Jan
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
1565. Model checking and artificial intelligence :
پدیدآورنده : Ron van der Meyden, Jan-Georg Smaus (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Computer software-- Verification, Congresses,Computer systems-- Verification, Congresses
رده :
QA76
.
76
.
V47
M63
2011
1566. Modeling Decision for Artificial Intelligence
پدیدآورنده : / Torra, Yasuo Narakawa, Jianping Yin, Jun LongغVicen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
1567. Modeling Decisions for Artificial Intelligence
پدیدآورنده : / Torra, Yasuo Narukawa, Marc DaumasغVicen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, CYBERNETICS|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
1568. Modeling Decisions for Artificial Intelligence :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence ;
1569. Modeling Decisions for Artificial Intelligence
پدیدآورنده : / asکArribas, David Meg- Torra, Yasuo Narukawa, Guillermo NavarroغVicen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
1570. Modeling Decisions for Artificial Intelligence
پدیدآورنده : / Torra, Yasuo Narukawa, Yasunori EndoغVicen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
1571. Modeling Decisions for Artificial Intelligence
پدیدآورنده : / pez, Mateu Villaretل Torra, Yasuo Narukawa, Beatriz LغVicen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
1572. Modeling Decisions for Artificial Intelligence
پدیدآورنده : \ Vicenç Torra , Yasuo Narukawa (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence -- Mathematical models -- Congresses.,Decision making -- Mathematical models -- Congresses.,Computer simulation -- Congresses.,هوش مصنوعی -- الگوهای ریاضی -- کنگره ها ,تصمیم‌گیری -- الگوهای ریاضی -- کنگره ها ,کامپیوترها -- شبیه‌سازی -- کنگره‌ها
رده :
Q
335
.
M6
2015
E-Book
,
1573. Modeling Decisions for Artificial Intelligence
پدیدآورنده : / Vicenc Torra, Torra Narukawa
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
1574. Modeling decisions for artificial intelligence :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence ;
1575. Modeling decisions for artificial intelligence :
پدیدآورنده : Vicenç Torra, Yasuo Narukawa, Isabel Aguiló, Manuel González-Hidalgo (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Mathematical models, Congresses.,Computer simulation, Congresses.,Decision making-- Mathematical models, Congresses.,Artificial Intelligence.,Computers and Society.,Data Mining and Knowledge Discovery.,Math Applications in Computer Science.,Mathematical Logic and Formal Languages.,Systems and Data Security.,Artificial intelligence-- Mathematical models.,Artificial intelligence.,Computer security.,Computer simulation.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Data mining.,Decision making-- Mathematical models.,Ethical & social aspects of IT.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
Q334
1576. Modeling decisions for artificial intelligence :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence ;
1577. Modeling decisions for artificial intelligence :
پدیدآورنده : Vicenç Torra [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence -- Mathematical models -- Congresses.,Artificial intelligence -- Mathematical models.,Informatique.
1578. Modeling decisions for artificial intelligence : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings
پدیدآورنده : Vicenc Torra, Yasuo Narukawa, Sadaaki Miyamoto )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3558
1579. Modeling decisions for artificial intelligence : first International Conference, MDAI 2004, Barcelona, Catalonia, Spain, August 2-4, 2004 : proceedings
پدیدآورنده : Vicenc Torra, Yasuo Narukawa )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3131
1580. Modelling and optimization of biotechnological processes: artificial intelligence approaches
پدیدآورنده : Chen, Lei Zhi.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing ، Biotechnology,Biological applications ، Artificial intelligence
رده :
TP
248
.
24
.
C45
2006
